Formalization of Business Process Modeling
نویسندگان
چکیده
The role and the importance of the business processes and their modeling are still growing up at nowadays. This expansion is not typical only for the area of informatics or computer science but also for the area of business and management. The correct definition of the process is important for its flawless enactment. For that purpose the correct business process model must be built. There are many tools and techniques available that can be used for that. Some of them are more or less formalized. This paper describes the way how one of these techniques which is called BPM (Business Process Modeling) can be formalized. Also this paper describes the way for mapping coordination diagram onto Petri Nets.
منابع مشابه
Argument based modeling analyses on business process models
This thesis describes an attempt at formalizing a part of business process modeling. The research is focused on the AND & OR-splits in the business process modeling language. Several reasons for choosing such splits are given in hope of providing a standard recipe for choosing one split over the other for frequently occurring situations. The goal of this research is to formalize the AND & OR-sp...
متن کاملA Unified Toolset for Business Process Model Formalization
In this paper, we present a toolset to automate the transformation of Business Process Modeling Notation (BPMN), UML Sequence Diagrams, and Business Process Execution Language (BPEL), into their proposed formal semantics expressed in the channel-based coordination language Reo. Such transformations enable the animated execution and verification of the aforementioned notations with the help of v...
متن کاملCrossing the Chasm Between the Real World and Business Process Management
While agility is a core challenge in todays competitive business, softwarebased business process modeling and execution approaches often refer to strict and inflexible formalization. Complementary, we propose an extension of the business process model by integrating information from the Internet of Things to increase flexibility. Along with orchestration tools and knowledge worker support, new ...
متن کاملConceptual Modeling of Business Networks and Business Strategies
The sophistication of technical and organizational networking enables not only a broader range of business networks and business strategies, but also allows for their faster adaptation to innovations. By increasing the degree of formalization of strategy modeling, model consistency can be enhanced and specifications can be reused in subsequent business engineering phases like process (re-)desig...
متن کاملThe Formalization of the Business Process Modeling Goal (draft)
In business process modeling the de-facto standard BPMN has emerged. However the applications of this notation have many subsets of elements and multitude of extensions and it still coincide with many other modeling languages, forming a large set of available options for business process modeling languages and dialects. While in general, the goal of modeling is a central notion in choice of mod...
متن کاملThe Formalization of the Business Process Modeling Goals
In business process modeling the de facto standard BPMN has emerged. However, the applications of this notation have many subsets of elements and various extensions. Also, BPMN still coincides with many other modeling languages, forming a large set of available options for business process modeling languages and dialects. While, in general, the goal of modelers is a central notion in the choice...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005